Перевод: с английского на русский

с русского на английский

substitution clause

См. также в других словарях:

  • substitution clause in policy — A provision in an automobile liability policy whereby coverage is extended to the use of an automobile driven by the insured by way of substitution for the vehicle designated in the policy of insurance. 7 Am J2d Auto Ins § 103 …   Ballentine's law dictionary

  • substitution clause in will — See substitution by will …   Ballentine's law dictionary

  • Clause de mobilité — Clauses du contrat de travail en France Droit du travail en France Sources du droit du travail Internationales : OIT · UE Étatiques : Constitution · Loi · Règlement · Jurisprudence Professionnelles : Convention collective · Usage… …   Wikipédia en Français

  • substitution by will — The effect of a clause in a will whereby the testator provides for the replacement of the beneficiary of a particular bequest by another person, or the replacement of a bequest to a designated beneficiary by another bequest to or in favor of the… …   Ballentine's law dictionary

  • Contract Clause — United States of America This article is part of the series: United States Constitution Original text of the Constitution Preamble Articles of the Constitution I · …   Wikipedia

  • Changes clause — A changes clause, in government contracting, is a required clause in government construction contracts. Contents 1 Background 2 Changes clauses for construction contracts in the Federal Acquisition Regulations 3 Purposes …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

  • SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… …   Wikipedia

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • Term indexing — In computer science, term indexing is the task of creating an index of terms and clauses in a collection.Many operations in automatic theorem provers require search in huge collections of terms and clauses. Such operations typically fall intothe… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»